Без заголовка

Так вот я и спрашиваю про дерево перехода: утверждения более верхнего уровня, которые стоят в посылках: if <мы хотим то-то > и in order to <сделать то-то> -- они не из дерева будущей действительности берутся?