I believe the polymath is 100% correct