<fizzie> le/rn karma//All living beings have actions (karma) as their own, their inheritance, their congenital cause, their kinsman, their refuge. It is karma that differentiates beings into low and high states.

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