Truth_tree loading ...