pdf	PDF sense OCR	AntoinePereraThiel_ultraproducts_revised.pdf