Occurrences of x in U are free occurrences of the new x.
x 在 U 中的出现是新 x 的自由出现。