Analysis

Which steps leads to a sound analysis

Last modified March 13, 2022: translating (371b284)