a  ¬s