explicit version 2 of Arinkin-Gaitsgory paper