donatsВероятно, потому, что на практике часто

- конечные условия - это как раз то, что нам дано. Это, а не начальные условия

, мы знаем прежде всего. Отсюда и обратная запись. Т.е. решается задача "произошло

, нужно узнать, какими способами и как это могло реализоваться".