Contents:
Pump.
functQforVH
Function redirecting to functQforPH. It first computes P with functIforVH(), and then reinjects it into functQforPH().