The strength of Engeler's lemma