No definitions found for 'linear arithmetic' Perhaps one of these: lamar, ar, lunaria rediva, lunar year, linear argument