Truth_Maintenance_or_Reason_Maintenance