Seol mar théacs é seo: Observation Equivalence as a Testing Equivalence