MAYBE 132.99/56.61 MAYBE 132.99/56.61 132.99/56.61 Problem: 132.99/56.61 app(nil(),y) -> y 132.99/56.61 app(add(n,x),y) -> add(n,app(x,y)) 132.99/56.61 reverse(nil()) -> nil() 132.99/56.61 reverse(add(n,x)) -> app(reverse(x),add(n,nil())) 132.99/56.61 shuffle(nil()) -> nil() 132.99/56.61 shuffle(add(n,x)) -> add(n,shuffle(reverse(x))) 132.99/56.61 132.99/56.61 Proof: 132.99/56.61 Open 132.99/56.62 EOF