att ingå uti en kontradeduktion,