User blog comment:Bubby3/Taranovsky's C 1st system introduction and rules./@comment-30118230-20180131195116

$$C(\Omega,\Omega)=\Omega 2$$ not $$C(\Omega,C(\Omega,\Omega))$$. That's equal to $$\Omega 3$$.