Initial check-in. Incomplete: write-up still in progress.