8.2.4 事实变量