a -> an in the spec