Curiosity question from Eff-dono's Miscellany