You are viewing the basic non-JavaScript version. Please enable JavaScript to view this website correctly.
See observational equivalence.