de-pedantization