Definitions "" deleted.
Now names are unified.