verifying declarations Synonym