+ 0 y y + s x y s + x y sum1 nil 0 sum1 cons x y + x sum1 y sum2 nil z z sum2 cons x y z sum2 y + x z tests 0 true tests s x and test rands rand 0 nil x test done y eq f y g y eq x x true rands 0 y done y rands s x y rands x :: rand 0 y rand x x rand x rand s x true 0 rands 2 done 1 sum1 1 and 2 rand 1 g 1 nil 0 s 1 eq 2 + 2 :: 2 tests 1 f 1 0 0 cons 2 test 1 sum2 2 FULL