unhalting

not defined yet