Basi involutive "term-ordering free"