, , S | a0.