“Il cuore di una dimostrazione non è nella sua «grammatica», bensì nel suo significato.”