remove proof in exercise