(BT AND #UP+#L)==#UP+#L