observationally equivalent