<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.

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