Finding contracts. Lc can only have two logical states: either in the current blockchain or transferred (exe- cuted Move1), and if moveTo( ) and moveFinish( ) are implemented correctly, it can always go back to the first state with Move2. A client who does not know where contract c is located can use Lc to track the contract’s location every time it moves.
