Documenting the knuth variants of ordering principle.