118.58/31.06 MAYBE 118.58/31.06 118.58/31.06 Problem: 118.58/31.06 c(b(x)) -> b(c(x)) 118.58/31.06 c(c(x)) -> c(b(x)) 118.58/31.06 b(b(x)) -> c(a(x)) 118.58/31.06 a(b(x)) -> b(b(x)) 118.58/31.06 a(c(x)) -> c(c(x)) 118.58/31.06 118.58/31.06 Proof: 118.58/31.06 Open 118.58/31.06 EOF