Isabelle’s 1 year old proofs