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