ungeneralized

not defined yet