Don't think bounds needs to be a PP.