If p then q examples. means that P and Q are equivalent.