[quote=@Intrepid]
<Snipped quote by Legend>

I don't follow. Are there multiple kinds?
[/quote]

I never did any proofs in LinAlg, or at the very least, we didn't call them proofs.