I never really got my head around the Parametric Bounded Löb paper at https://arxiv.org/abs/1602.04184 https://arxiv.org/abs/1602.04184 . Clever people have per

I never really got my head around the Parametric Bounded Löb paper at https://arxiv.org/abs/1602.04184 https://arxiv.org/abs/1602.04184 . Clever people have persuaded me that it was wrong (for a certain reason related to the existence of nonstandard models of PA) and that it was true.