User blog comment:Mh314159/new YIP notation/@comment-39585023-20190714233832

There is an error in the definition of Y=[0,X] in the N bracketed terms rule set. So please do not work from the bad formula. It will not be a difficult fix and should be posted soon. Thanks.