From Böhm's Theorem to Observational Equivalences: an Informal Account