Switched to outputting x instead of 0 to make b -> c easier
(b) -> (c)