a ( S ) -b