名字等价

name equivalence