Interpretability formalized by J.J. Josten