a ¬s