The structure & [and] limits of finitism