User blog comment:B1mb0w/Strong D Function/@comment-1605058-20150701141400

I'm fairly sure it's not true that $$f_{\omega.18+1}^{2}(3) = f_{\omega^2+\omega.15+1}^{2}(3)$$.