Angel's Proof Checker