The most intuitive order relation of send and receiving operations has been introduced during the first part:
Sending to a channel happens before receiving sent…