linear PH bounds certified