Frontend for section 4.