User blog comment:Cloudy176/My number is smaller!/@comment-5029411-20140920144244/@comment-5150073-20140920155616

I misread the rule 2 - my entry is bad. Let me pick $$\Sigma(3,3 (((1) 1) 1) 2)$$ instead. Solve this like BEAF, but with the rule $$\Sigma(a,b) = \Sigma^b(a)$$.