An empirical reappraisal of the four types of cyclists. (July 2020)