new case in preservation

lots of lemmas!