Some progress in the ordered pair lemma