Definition running example