depredicate
not defined yet