5.4 反事实符号表达式与do算子符号表达式的对比