LINEA FORMAL
