ABSTRACT

(which the reader may skip, but which is not very long.)