propositions

All propositions extracted (before any revision).