Truth_maintenance_system loading ...