Beginning of the rule for definitions