ProofsSample 1Sample 2