New Fans

2
0
1
(λh.1(λu.1(λv.h(u+v))))(λe.e)
0