Bibelreferenz; Markovs Regel begonnen; umgekehrte Übersetzungsrichtung
Minimalwissen Curry-Howard-Korrespondenz