RE: (Witness) With SMT, Can we play with different rules?
I support your arguments. And I am sure many more will support it.
RE: (Witness) With SMT, Can we play with different rules?