Basic definitions added