This is an object-oriented system. If we change anything, the users object.
-- Julian Turnbull (jst@dcs.ed.ac.uk), 9/93.