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

Actually, it's well-defined up to ΨD[D[D 0]+D[D0]] (0), since solving it cause the infinite loop. Check your rules.