Ну с тем что есть ряд (не полный, конечно) алгоритмически понятных вещей - спорить бессмысленно.
Есть.