Changed Lemma directory structure