ungeneralizing
not defined yet