Define matrix invertibility properly. Rewrite the introductory section on linear systems