In case anyone would like to review, the stuff before the sidetracking began on
page 1,671
.