We need to outline a way to define streams in a contract to prove that both `Client` and `Service` are adhering to the agreement.