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

Fixed. Now, all $$D[D_0]$$ can not be reduced.