Ajd chapter10

Chapter 10
Very minor comment, and this isn't a problem here, but you might want to consider using `exists` instead to avoid autovivication.