Work through the section on infinite streams of pairs