https://9lib.org/document/q7wo8erk-on-extending-automorphisms-of-models-of-peano-arithmetic.html