Reference-bank note: condensed/adapted study version; not a facsimile of the official paper.