pred
not defined yet