P IMPLIES Q