Additional definitions added