S = | S S | x.
x.
