2.10. Тропы

2.10.1. Синтаксис

2.10.2. Вычисление троп

2.10.3. Условия

2.10.4. Присваивания

2.10.5. Поиски

2.10.6. Перестройки

2.10.7. Огражденные тропы

2.10.8. Отрицания условий

2.10.9. Заборы

2.10.10. Отсечения

2.10.11. Тупики

2.10.12. Правые части

2.10.13. Аварии

2.10.14. Перехваты аварий

2.10.15. Распутья

2.10.16. Выборы

2.10.17. Результатные выражения как источники