Hey, Thanks for this organized collection of notes. Was reading through [Threads and concurrency Section](https://applied-programming.github.io/Operating-Systems-Notes/3-Threads-and-Concurrency/) The solution to Readers-Writers it says is: ```c if ((read_count == 0) & (read_count == 0)) R okay, W okay if (read_count > 0) R okay if (read_count == 1) R not-okay, W not-okay ``` I think it should be instead ```c if ((read_count == 0) & (write_count == 0)) R okay, W okay if (read_count > 0) R okay if (write_count == 1) R not-okay, W not-okay ```