now supporting lemmas