a  ¬s     :