Assumption (0)