$\blacktriangleright$    To halt a computation