Have problem with Montes_Wibmer_5 example using lex order