See comment to parid2161. Note also that it is unnecessary to repeat the "only a-nodes serve as A endpoints" mantra. The quality of being a-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.