Cleaned up Eval proof.