7.1 假设的功能