Started fixing the evaluate and evaluate' proof