So I take it that this kind of regularity theory of lawhood requires some sort of inegalitarian theory of properties: simple systems are those that come out formally simple when formulated in terms of perfectly natural properties.