Added assumptions for task 1.2.