a ¬s4