Improve proof.