a -> an