Assumptions replacement