prejacent
not defined yet