> Just a reminder: Proofs are usually stuff for a master course.

And that's my criticism. If more people in society cared why something is true, we wouldn't have falsehoods abound all around us that are obviously wrong and logically screamingly incorrect.

Matrix multiplication is an uninportant detail. Modus ponens is what holds everything together. But rarely anybody can handle the latter, nor even has heard of it.