s i , ¬a