This situation is not due in some way to the special nature of the systems set up,
but holds for a very extensive class
of formal systems...