1982a, "On the nonexistence of certain normal forms in the logic of provability," "Journal of Symbolic Logic 47": 638-640.