verifying a theory Synonym