Added proof of WW Assumption (A) for fib-tuple example.