Abstract
This paper is a presentation of a status quæstionis, to wit of the problem
of the interpretability logic of all reasonable arithmetical theories. We
present both the arithmetical side and the modal side of the question.
