Definition of "Deng"