10.2.1.1 假设和函数形式