Alternate Definitions for halting

include archived terms