f * aS *=+