continue implementing preservation proof