start proving preservation