a -> some