; e q , resulting from composing the elementary transitions in the chain.
any graph that meets the SINGLE-HEAD constraint and can be obtained using the S P transition system (which has been proven complete) can also be generated by this one.