10.1.3 添加模式匹配事实