Definitions added.