fibf is op n {1 pick ((n- 1) fold [1 pick, +] 0 1)};