Are they still going to use their colored coins or are they going to strictly use bitcoin for managing the Bisq network?