19.2.5 Deadlock