revised translation.