pdf	PDF sense OCR	ES_Irreducibility_II_ACCEPTED.pdf