Updated independence proof