VSW: Added note about lemmas.