Four cases of Binary Semaphores. - edufulness