7.1 进一步的假设