a  ¬
s2                 /