Changes Lemma name and makes it tied to VisorNoam