MAYBE 167.62/71.36 MAYBE 167.62/71.36 167.62/71.36 Problem: 167.62/71.36 c(c(b(c(x)))) -> b(a(0(),c(x))) 167.62/71.36 c(c(x)) -> b(c(b(c(x)))) 167.62/71.36 a(0(),x) -> c(c(x)) 167.62/71.36 167.62/71.36 Proof: 167.62/71.36 Open 167.62/71.36 EOF