A simple prover for an assignment