Stopping after the first step of section 5.10.