leggero
adduzione
matrice formale