p -> ~q , p