  There has been a recent interest in hierarchical generalisations of classic
incompleteness results. This paper provides evidence that such generalisations
are readibly obtainable from suitably hierarchical versions of the principles
used in the original proof. By collecting such principles, we prove
hierarchical versions of Mostowski's theorem on independent formulae, Kripke's
theorem on flexible formulae, and a number of further generalisations thereof.
As a corollary, we obtain the expected result that the formula expressing "$T$
is $\Sigma_n$-ill" is a canonical example of a $\Sigma_{n+1}$ formula that is
$\Pi_{n+1}$-conservative over $T$.
