Partway through example 18