P implies Q