Logic Tutorial: Randomized Teleporter