Isabella proofs