cleaned up a couple of lemmas. Should be all good now