4 ms·

But it's not similarly interesting, linear and intuitionistic logic are. Finitism is just kind of stupid.