let
minus adc1 adc2 = adc1
land
(lnot adc2)