Axioms, definitions, proofs. Canon holds only the primary derivations — the places a real proof was first written down — not commentary on them.