The Future of Reasoning