Future of Reasoning