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.