The Obstacle of Formalism in Linear Algebra