was Prolog for example back then and then in in many ways as came back later because the Garuda machine for example has approved search on board and without that it would not be optimal well Marcus what does universal algorithm for solving all well-defined problems as approved search on board so that's very much logic programming without that it would not be a Centanni optimum but then on the other hand because we have a very pragmatic is also we focused on we cannula networks and and and some optimal stuff such as gradient based