•—— a line is a dot you take for a walk.