Here is the updated intro and definition section