Versuchen Sie, jeweils die richtige logische Form auszuwählen und klicken Sie anschliessend in den Vorwärtspfeil. Wenn Sie einen unzulässigen Ausdruck gewählt haben, erhalten Sie eine erklärende Rückmeldung, ansonsten geht es weiter und das Lambda-Kalkül wird mit dem von Ihnen gewählten Ausdruck fortgesetzt. Falls Sie irgendwann einen zwar zulässigen, aber unpassenden Ausdruck gewählt haben (z.B. die Repräsentation von the' statt every'), merken Sie spätestens am Schluss, dass Sie nicht auf das gewünschte Resultat kommen.