if not q then not p