Mart_Korz comments on Arithmetic is an underrated world-modeling technology