characterizations
not defined yet