A proof checker.