User blog comment:Googleaarex/A new, really strong OCF definition?/@comment-25601061-20170729213755/@comment-5029411-20170729223038

No, $$\psi_{D[0]}(D[\psi_{D[D_2]}(0)])$$ reaches the limit of pDAN.