geometry Foundations & Proofs