4.2.3 假定和约束