prebelieve
not defined yet