Truth_maintenance_systems loading ...