a sg s Isa b * un ef.