Logic Blog 2021 - Andre Nies (2022)