observational equivalence problem - German English Dictionary