7.3 允许假设