Title: Semiautomatic Proof