New proof.