Lots of progress on TermPreservation, Weakening and strengthened context WFDG.