Speaking of tonight’s run, I ran 3 laps around the pond next to our home. There is a recreational path going around the pond. The path is fairly wide, 3 or 4 adults can easily walk side by side, but there are some parts where only 2 people can walk side by side. The ”official” length of the path is 1.7 km but based on my sports tracker’s GPS the length of the inner edge is almost exactly one mile. I found that interesting.