Equivalence relations, contextual control, and naming.

Equivalence relations, contextual control, and naming.