P , ~ , ~P