#5 adding CfLexicographical