Now downloading 2022-Lidicky-ShortenedUniversalPreprint.pdf...