The desire to hide all traces where a proof comes from is really a problem and having more context would often be very helpful. I think some modern authors/teachers are nowadays getting good at giving more context. But mostly you have to be thankful that the people from the minimalist era (Bourbaki, ...) at least gave precise consistent definitions for basic terminology.
Mathematics is old, but a lot of basic terminology is surprisingly young. Nowadays everyone agrees what an abelian group is. But if you look into some old books from 1900 you can find authors that used the word abelian for something completely different (e.g. orthogonal groups).
Reading a book that uses "abelian" to mean "orthogonal" is confusing, at least until you finally understand what is going on.
>>[...] at least gave precise consistent definitions for basic terminology.
Hopefully interactive proof assistants like Lean or Rocq will help to mitigate at least this issue for anybody trying to learn a new (sub)field of mathematics.
I've had several situations in the Mountain West when roads suddenly closed <25 miles away from my final destination (and fuel). Some of these required upwards of 100 mile detour on rural roads with almost no civilization. That detour was not part of the original range calculation. For an EV the detour may not even be an option, you have to go backwards to a major highway to find a charging station that may be in range.
Hell, I've nearly come up short in an ICE vehicle a couple times. I try to keep 150-200 miles of spare range on my vehicle when I am in that kind of country. That is hard to do on a typical EV.
Plus the additional anxiety of trying to figure out if dropping temperatures will add massive downside variance to your initial range estimate.