  Assuming the existence of suitable large cardinals, we show it is consistent
that the Provability logic $\mathbf{GL}$ is complete with respect to the filter
sequence of normal measures. This result answers a question of Andreas Blass
from 1990 and a related question of Beklemishev and Joosten.
