predictate

not defined yet