User blog comment:PsiCubed2/A proposal for a new rule for this community/@comment-27513631-20170706200845/@comment-30754445-20170708194431

I just went to his website and I can't see any well-defined rules there.

Unless I've missed something, the notation is still defined with sentences like "{a,b,c,d,e} = {a,b,c,d} recursed ({a,b,c,d})-1 times for e-1 repeats" which can hardly be considered well defined.

But I agree that he did improve. He also showed a genuine interest in the subject matter, and his current notation shows genuine effort.

So I guess you're right that there are exceptions (though I must say that most of the things that drove us crazy when he first came here didn't really change at all)