${S = ab}$