Ezt a Mr.Y-os példát Quine-tól vettem, ő szokott így példákat írni: Mr.X, Mr.Y, stb.