Men en viss skygghet for strängkonseqvens