Truth_assignment loading ...