Text this: Towards verification of computation orchestration

  ______    ______    ______    ______   __   __  
 /_   _//  /_   _//  /_____//  /_   _//  \ \\/ // 
 `-| |,-    -| ||-   `____ `    -| ||-    \   //  
   | ||     _| ||_   /___//     _| ||_    / . \\  
   |_||    /_____//  `__ `     /_____//  /_//\_\\ 
   `-`'    `-----`   /_//      `-----`   `-`  --` 
                     `-`