Default loop for definitions