§ * S = S5s