logic_tree