Under contruction. See Surrogate Keys for the draft version of this.