walking mirage@atomicthumbs8/25/2024, 7:34 PMreminder: geometry is non-Euclidean for rotating observers