..
more strict Matrix_less, which was inconsistent