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

Your "rules" don't fully deal with C(C(1,0),0).