s' = s - s0 a0c0