“Under conditions of complexity, not only are checklists a help, they are required for success. There must always be room for judgment, but judgment aided, and even enhanced, by procedure.”