Rafael Harth comments on Insights from Linear Algebra Done Right