12/16/2022, 10:55 PM
Oups.. I'm sorry. Tbh I shouldn't lose myself in this rabbit hole too. The foundations are not ready yet.
MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)