In addition to illustrating how our formulas work in practice, it provides a counterexample to Brown's conjecture.
In practice, D is usually too large a set to work with.
[In British English, practice is a noun, and practise is a verb; in American English, both spellings are used for both noun and verb forms.]