Work in progress

2020 December 31

Check back later.