haltingness
not defined yet