A finitary treatment of the closed fragment of Japaridze's provability logic by J.J. Joosten, Lev.D. Beklemishev & Marieke Vervoort