valid inference Synonym