move name-equality-related examples to sec. 3