P%20IMPLIES%20Q