The argument from 'extensive effort' tacitly assumes human mathematical ingenuity has adequately exp...