let minus adc1 adc2 = adc1 land (lnot adc2)