example for definitions