generality
not defined yet