25.7.9 Examples