Implication does not appear to be associative:
a b c | (a -> b) -> c | a -> (b -> c)
F T F | F | T
F F F | F | T
Is $a \implies b \implies c$ evaluated as $a \implies (b \implies c)$ or $(a \implies b) \implies c$?