Undo an inadvertent change to step_lemmas