The accuracy of the WOrder parameter drops off geometrically as the number of instances approaches zero, as shown in Table 5.
these values are usually not atomic, and can be decomposed into their permuted elements, which themselves are types.