And this is (should be) the first proof.