An expanded version of the original account will be posted in mid-2021.