Added sketch of an implementation of Wilkinson's notion of a 'variable'