reformulação de conjecturas Synonym