add a new definition