More progress on the 1st IL proof