det , så lär den i logiken bevandrade likväl af för- och efter-satser , med deras bindande bevisningofelbart