Eine if-Form ist eine binäre Verzweigung. Bei der Auswertung wird zunächst der erste Operand ausgewertet (der Test), der einen booleschen Wert ergeben muss. Ergibt er #t, wird der Wert des zweiten Operanden (die Konsequente) zum Wert der if-Form, bei #f der Wert des dritten Operanden (die Alternative).