Compact version of proof engine.