a few additional small lemmas