PROBABLY LOVELY DEADLOCK