May I please add that it feels so wrong that we are not taught this part of the cosmic ladder in school. This video - especially the concise yet insightful description of how the Martian orbit was found - is really inspiring. The quality of the work is incredible when you combine elegant math with the 3b1b/tao goodness.