This page was extensively revised in July 2021