看图吧

这逻辑没毛病吧？

如无必要勿增实体。
补充一些想法：
我们要讨论的是这些“未知”（可以称为表达式）的可取的值，以及可取程度。
很多时候表达式中有确定项，以及提示“表达式和一部分已知表达式有相似之处，可能是变量数，可能是符号，但不能完全确定”。这些也是一种史料。
以及：“这里填4+5-6，但若如此写3也行？说明5和6是计算的一个被强调部分，我们下次算也给5和6留位置。”
此时，这种确定方法可以成为有用的经验，可以被重复利用。
这就是研究的一个方案或方向？
创造需要做的远比这样的探索多，因为方案好找不好发明。