| ⇢ | B | graph.evaluate.one_is_unknown() added | |
| ⇢ | A | graph.evaluate.one_is_false() added | |
| ⇢ | A | graph.evaluate.one_is_error() added | |
| ⇢ | A | graph.evaluate.one_is_noteval() added | |
| ⇢ | A | graph.evaluate.one_is_false1() added | |
| ⇢ | A | graph.evaluate.one_is_true() added | |
| F | ↗ | B | graph.evaluate.oval_operator_one() improved |