a  ¬s  þ