introduced definitions