P- no P

P- no P