https://123dok.net/document/y4wkv495-proving-existence-loops-robot-trajectories-simon-rohou.html