New: logica-global-convergente