3 ms·

Maybe stuff with Löb's theorem?