Added a note to help readers not interested in mathematical details to
find their way round the paper.