Create invariant_fib