Assumption (1)