Deadlock and the Failures Near It

Four conditions, three failure names, and the ordering rule that removes one of them.