Truth_value loading ...