1.3.6. ОГРАЖДЕННЫЕ ТРОПЫ

Если Q - некоторая тропа, то мы всегда можем превратить ее в хвост, приписав перед ней запятую. В результате получается огражденная тропа

, Q

которая с синтаксической точки зрения является хвостом, а во всех прочих отношениях эквивалентна тропе Q.