allieclaire: proofs (3 of 11)