Fundamental Propositions