Progress in preservation proof (6/19 done).