4.11.1 推测的概念