CompareWords
Compare
Halted
Definition:
(imp. & p. p.) of Halt