The verifier will be sitting always on-chain it will be verifying that an exponentially larger computation has occurred correctly off-chain. Verifier sits on-chain okay I just want to clarify at the end of Q1 it will only appear on the testnet not on the mainnet will first test it but the true bit solution is it's a game it's like a game theoretic game of playing out versus various incentive structures.