Don't assume the transponders are not synchronized (initial state should be LOCAL).