The D[P] hierarchy is completely comprehensive, in that it encompasses the entire universe of propositional formulae. All Boolean concepts fall into a family that appears somewhere in (the infinite ...