Remember the equality proof.