two definitions added