from コンビネータ

\lambda xy.y

チャーチブール値のfalseを表すものと同じ

falseのf