20
6
f
f : f[+f]f[-f][f]
