för — formel konseqvens , så äro de obotlige.