Added assumptions.