---------------------------------------- |context> => |context: new fib> fib |0> => |0> fib |1> => |1> fib |*> #=> arithmetic(fib minus[1] |_self>,|+>,fib minus[2] |_self>) ----------------------------------------