plus 0 X X plus s X Y plus X s Y fib 0 pair s 0 0 fib s X pair W Y fib X pair Y Z plus Y Z W plus 2 0 0 s 1 fib 1 pair 2 ORIENTED FULL