PES and KH's attempts on making section 2-3 shorter