Logic Blog 2019 - Andre Nies (2020)