Assumptions revision