`1)` and `2)` can be removed here, the section can be read in different orders.