nonheuristic

not defined yet