observable proof Synonym