\c=5
\¬p