Գրեք սա: Observation Equivalence as a Testing Equivalence