fib := (n | if (n <= 1) (| n) (| fib (n-1) + fib (n-2)) );