do not allow duplicate definitions