Foo lemma