PN QN RN SN

{


{`|P
{`|Q

{a|P
{a|Q

{b|P
{b|Q

{c|P
{c|Q