All ready to write quickcheck tests for the sender and receiver.