Add the approximation lemma