MAYBE 32.88/10.18 MAYBE 32.88/10.18 32.88/10.18 Problem: 32.88/10.18 flatten(nil()) -> nil() 32.88/10.18 flatten(unit(x)) -> flatten(x) 32.88/10.18 flatten(++(x,y)) -> ++(flatten(x),flatten(y)) 32.88/10.18 flatten(++(unit(x),y)) -> ++(flatten(x),flatten(y)) 32.88/10.18 flatten(flatten(x)) -> flatten(x) 32.88/10.18 rev(nil()) -> nil() 32.88/10.18 rev(unit(x)) -> unit(x) 32.88/10.18 rev(++(x,y)) -> ++(rev(y),rev(x)) 32.88/10.18 rev(rev(x)) -> x 32.88/10.18 ++(x,nil()) -> x 32.88/10.18 ++(nil(),y) -> y 32.88/10.18 ++(++(x,y),z) -> ++(x,++(y,z)) 32.88/10.18 32.88/10.18 Proof: 32.88/10.18 Open 32.88/10.19 EOF