Suppose a logical system uses only the connective $\downarrow$ (NOR). How would you represent the negation $\neg P$ using this operator?