Remove restriction that a condition cannot be on an immutable property
Add another example that Ned gave
Fix term, where "reference state" is used earlier in the document to apply to a set of claims, not just one, so "reference states" is redundant and reads oddly alongside "actual state" without the s.
Addresses #22