Experimenting (more) on a more precise notion of equality on environments.
Experiment (suite).