Utility/Logic_Tree:
* framework completed