Conjugation of HALT

See: