CSD introduced the idea of minimality in OIE. It strives for minimality as well as phonetic expressiveness. This, however, violates the assumed lexicographic minimality of formula 45. However, minimality (or parsimony) is not the only logical virtue. But these solutions do not always come with a guarantee of their minimality. The wordnets follow the principles of minimality, coverage and replaceability for the synsets. One popular theoretical implementation of this is called "relativized minimality". This contradicts the minimality of the degree of "f". Then, by the minimality of "I", we have&colon; formula 18. This contradicts the minimality of formula 9 and establishes the result. However, Traxbar does not guarantee the minimality of the constructed DFA. Generally, "prime" indicates minimality or indecomposability, in an appropriate sense. The minimality of security assumptions is another characteristic of hash-based signature schemes. By having two forms of IPC, they have nonetheless violated the principle of minimality. This is the "minimality property" of the Jordan decomposition.