I tried to understand ECEF to ECI transformations again and now I don't know what's real
a Schelling point for those who seek one
