The meaning of "halt"