... For the rule "S transmitted...", I would have S with exactly ONE ... the previous rule about S and your result should ... R and connected to S. And S connected to exactly one ... transfers to both R and S, almost everything else will ... details and break everything down.