User blog comment:Pteriforever/Ultra-F notation/@comment-1605058-20151027180535

Could you provide some (sketch of an) argument as to why your example terminates? Since in the progress of reducing F+F+2 we get F+F+F+F+2+2+2+2 (I believe parentheses don't matter, so I omit them), I have some hard time believing you that it does.