Rewrote Evaluable instances to give proofs