Lemma Framed Packages