Added an invariant constraint on msdi
Issue #35

Also improved the quality of the notes explaining the way the
length of the data store is calculated.