<Jafet> le/rn nightstar//The Nightstars is an unscientific myth of a sky covered in faint flickering lights. Only hermits and superstitious farmers believe this.

The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.