This seems less like a proof and more like a "pretty please" with test cases?