Clarify the introductory example again, using a smaller and more precise example