A sound equilibrium for linear algebra