( Kontraproposition : asflag );