It's pretty obvious the kid is incorrect because 5*3 is using the sum monoid and overloading notation. Or at least that would make more sense than arguing the

It's pretty obvious the kid is incorrect because 5*3 is using the sum monoid and overloading notation. Or at least that would make more sense than arguing the kid is wrong via Javascript and matrices.