Proofs and Fundamentals