Isabelle Two months proofs