mensurableness
not defined yet