Interpretability over peano arithmetic by C. Strannegard