\section{Overview}

For testing the |sawsim| program, we need a few analytic solutions to unfolding distributions.
We will start out discussing single-domain proteins under constant loading, and make some comments about multi-domain proteins and variable loading if we can make any progress in that direction.
This note also functions as my mini-review article on unfolding theory, since
I haven't been able to find an official one.
