-full implementation of interval procedure