PQ 4-Proofing Parallelograms