Add paragraph about the class of collapsing propositions