Added assumptions section