preservation proof completed