Chapter 40: There is no ideal type