pq-parallel-ab-pr-parallel-ac-prove-qr-parallel-bc pq-parallel-ab-pr-parallel-ac-prove-qr-parallel-bc
