halley added an example