====== Propositio maior ======