Exercise 2.91: Define div-terms