<moonythedwarf> le//rn moon//moon is often named the following: moonythedwarf moonythehuman moonheart08 moony moon__ computing and luxon, making porthellos a real pain

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