User blog comment:Ecl1psed276/Star Notation Revamped! - Introduction and Analysis/@comment-35470197-20190424003652

Do you have any evidence that your notations (containing WIPs) always terminate? Otherwise, I could not understand why you can expect that your stuffs go beyond others unless you explicitly defined correspondences from your notations to others.

In addition, "it will be upper bounded by (0,0,0)(1,1,1)(2,2,2) in BMS" implies that at least you have succeeded in the proof of the temination of BMS below (0,0,0)(1,1,1)(2,2,2), right? How could you?