Calendar proofs