Denna förmodan har redanbesannats