p4616-10287/proof