How they do it up north

Neil posted this to Facebook today:

took 5-year old Ben to my intro logic class today since his school was closed (wimps). We were doing a proof and needed to derive a contradiction, and two were easily available, (F and not F) and (G and not G). I asked the class which one they preferred. Ben said "F and not G." I told him that was not a contradiction. "It is in Canada," he said.

In other news, Ben performed in his second piano recital this evening!  In full costume!  He did beautifully.  Video to follow, as soon as I figure out how to edit video.