25.7
6
f
f : f[+f]f[-f]f
