User blog comment:Vel!/Uncomputable is not fast-growing/@comment-80.98.179.160-20180109120733

And PP is <* all recursive functions.

Proof of this is simple: it's the inverse of BB.