deadlocked states need to be stored so we don't get duplicates