User blog comment:Ytosk/Continuing my TBMS/@comment-35470197-20190927115938

By the same reason as your previous blog post, this extension is also ill-defined. You just wrote finitely many examples, and the full rule set is not precisely declared.