Proof Checking & Value Engineering