Langlands correspondence for isocrystals and the existence of crystalline companions for curves