predentate
not defined yet