$NOT $BTC 1 $