We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for three predicates we only need to consider 256 universes; for four predicates this gives 64Ki universes. So to keep it simple we'll look no further, for the time being.