Reasoning Challenges