(obsolete) a little-known amusing fact