Many more definitions and theorems than proofs