¶
Contextual Equivalence
See
observational equivalence
.