Sandbox:DavidKohler/Relativized Alon Conjecture/Tangle