-
@MathProfPeter My guess is that there will be many days where 5km will require some leaps of faith to solve in time, which I like thematically. I can always go back and prove uniqueness later... (Actually I should make a feature to let you replay a puzzle after it's solved for that reason.)