hyun_seoul said:The useful checklist is about verifiability rather than presentation.
That is right, and it stops being right at the edges. The general case is well behaved; the interesting cases in this thread are all at the boundary where the general case breaks.