Propositions and openings (1-25)