also - does this distinction matter? Is someone who runs 100m dash vs an ultra marathon runner both runners? When I run for the bus I’m also running. Sonic the Hedgehog also runs. They have distinctions in context that make sense - but they are all running.