On Fri, May 12, 2023 at 2:06 AM Po Lu wrote: > Adam Porter writes: > > > Subject: Names are not descriptions; descriptions are not names > > They should be. > Bertrand Russel would _emphatically_ disagree with you. ~Chad