Added assumptions