Removed need for lemma_vect_len