plus 0 y y plus s x y s plus x y lt 0 s y true lt x 0 false lt s x s y lt x y fib x fibiter x 0 0 s 0 fibiter b c x y if lt c b b c x y if false b c x y x if true b c x y fibiter b s c y plus x y 2.2 fib x fibiter x 0 0 s 0 fibiter b c x y lt c b lt s x s y lt x y fibiter b c x y if lt c b b c x y if true b c x y fibiter b s c y plus x y plus s x y plus x y if true b c x y plus x y true fib x fibiter x 0 0 s 0 false if true b c x y fibiter b s c y plus x y fibiter b c x y if lt c b b c x y true Failed! NaTT certifiable-1.6