incomparability
not defined yet