| p hyp
|-
| pvq           1 dis_int
| p&[pvq]       1 2 conj_int