Assumptions
1