Fix => and forall