generalizations
not defined yet