Assumptions (CR)