This reverts commit e53b7997. Confusingly, this does not simply and the two sets of known bits, but implements known bits for the and operator.