No definitions found for 'higher arithmetic' Perhaps one of these: hickory ridge, ar, hickory ridge, higher-order function, higher-order macro, hawser iron