Reasoning and Assumptions