 The function denoted by the abstraction operator d( ) is here applied to lines, and produces directions (new abstract objects) as its values. Note that the abstraction operator can take variables as arguments. 