CBiddulph comments on Arithmetic is an underrated world-modeling technology