some ideas for fib proof