Needing a variable. Section 13.1.13 gives a definition of what it means to need a variable. Because this need relation is monotonic, we can show that the demand driven concurrent model is declarative. However, there are other ways to define the need relation that also result in declarative models. For this exercise, try to find at least one such definition.