This account is based mainly on Dawson (1993).
以下の記述は主に Dawson (1993) に基づいている。