Describir: Verify a Computation by Checking the Result.