- p q- -p