In reply to @gro_tsen • arthurb @arthurb · Twitter · 2025-10-17 09:26 UTC @gro_tsen iirc, I first learned the latter definition