Add pedantry