Theories of some level of universality are proposed, and deductively tested; after that, theories of a higher level of universality are proposed, and in their turn tested with the help of those of the previous levels of universality, and so on.