English (fixpoint)
Rephrase some bits in the "properties" part.