working correctly. In order to test \sawsim, I've developed a test
suite (distributed with \sawsim) that compares simulated unfolding
force histograms with analytical histograms for a number of situations
-where solving for the analytical histogram is possible.
+where solving for the analytical histogram is possible. In the
+following subsection, I'll work out the theoretical unfolding force
+distribution for a number of tractable cases. The sawsim test suite
+generates simulated unfolding curves for these tractable cases
+(e.g. single domain Bell model unfolding with a constant loading
+rate), and compares the simulated unfolding force histograms with the
+expected theoretical distribution. The simulated histograms match the
+theoretical distributions for each combination of models regardless of
+the parameters you feed into the models, so we can be confident that
+\sawsim\ correctly implements at those models.
The instantaneous likelyhood of a protein unfolding is given by
$\deriv{F}{N_u}$, and the unfolding histogram is merely this function