7.10 A Useful Double

< back