Clarified the semantics of the Sender and Receiver interface