Now downloading 2018_Lidicky_CounterexampleConjecture.pdf...