2021-08-08 19:38:40+00:00 In reply to @apgox @apgox @johnharvey_math @langtoneagle @johncarlosbaez Thanks! That's a useful word to know