Preliminary support for Knuth variants of Ordering principles