https://9dok.org/document/zpnvoelo-axiomatizing-relativistic-dynamics-using-formal-thought-experiments.html