#injective $BTC .