added siome lemmas and finished adding morfs to frames