Notes for deadlocks section