TD1: Refine the deadlock explanation.