( Kontraproposition : afflag ):