Attempted to tie all loose ends in Skorohod (only lemmata outside the main proof remain) but unfortunately failed on Friday and even now; also more remains to be proven in Si than I remember. Will work to finish these by Thursday.