4.3 使用允许假设