basics: a couple more lemmas/examples