Simple promotion (always p->q)