Stav dette: If P, then Q.: