Abstract: This is report on work-in-progress, joint with Sam Raskin. I’ll sketch a new mechanism that is supposed to show that certain statements in the geometric Langlands theory in char. p can be formally deduced from there char. 0 counterparts.