Status: Theory

Propositions derived from the foundations.