more commentary on example 12