It’s up to you to let him know if you’ve seen it; i.e., it requires the axiom of choice. ((Note to long-time readers: tomorrow marks the year anniversary of the inaugural comic!))