Added recursive Fibonacci counterexamples.