Assumptions and Requirements
Given file