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

Still not fixed. You need to fix the rule for ΨD[α[D 0]] (0).