add a focus lemma to help with potential functions