Изменения
→Логические значения
Функции двух аргументов, возвращающие первый и второй, соответственное, аргументы.
Забавный факт: <tex>\operatorname{false} \equiv_\alpha \operatorname{zero}$</tex>. Эти функции сделаны такими для того,
чтобы красиво написать функцию <tex>\operatorname{if}</tex>:
