one-left category does not exists