[nexa] Formal criteria for being awful (AI)