The English term "formalization" matches the Italian term "etichetta"