Interpretability formalized door J.J. Josten