discovered the reason for the deadlock