Reflection principles are a way to build non-conservative
true extensions of a theory. However the application of a
reflection principle needs a proof predicate, and the effort
needed to provide this is so great as to be not really practical.
We look at a possible way to avoid this effort by using, instead
of a proof predicate, a predicate defined using only necessary
`modal' properties. Surprisingly, we can produce powerful
non-conservative extensions this way. But a reflection principle
based on such a predicate is essentially weaker, and we also
consider its limitations
