4. S0 ⇐ 0