Done up to Sect 5.