Added "Assumptions" section