reversing Lemmas 3.2 and 3.3 back to original order