a(x) -> b(x)
b(b(b(x))) -> b(b(x))