User blog comment:Googleaarex/A new, really strong OCF definition?/@comment-28606698-20170801202840/@comment-5029411-20170801203008

$$\varphi(3,0)$$ = $$\psi_{D[0]}(D[0]^2)$$