See comment to parid2161. Note also that it is unnecessary to repeat the "only r-nodes serve as R endpoints" mantra. The quality of being r-node is attributed to a node by the presence of an arc in a particular assertion and does not add anything to the explanation here.