ParentFull threadBobaFloutist·It might even be factorial since you also need to check the checks of the checks!Actually, it might be fully unbounded even for an n of 1.View on HN