Hot: logica-global-convergente