"Dimostrazioni formali e informali a confronto"