initial work on region arithemtics