a couple of half completed lemmas