( Kontraproposition : afflag );