For instance, a -> (b -> c) simplifies to a + -b -> -c. What about (-a -> b) -> c. How can I simplify it?