Changes to Schedule/ProofCafe_21