add pedantry