not (not s and p)