bi ) ^ g s = S.