A calculus of the absurd

18.2.2 Connecting Gaussian elimination to matrices