“I think the complaint here is that getGirlFriend tends to deadlock because all of the available resources have write locks.”
