Logical_truth loading ...