a ¬s0