Proof that the calendar is true