var P,Q;

infer
  <P>^[!Q]^<Q>
.