use region_arithmetic as a reference