Add another proof.