[Ben]: modify formula for pq pq qr