add and remove proof steps/heads