Many more definitions and theorems than proofs

→