Why did Resolve[] are unsuccessful to validate an announcement whose counter-example was confirmed to be nonexistant by FindInstance[]? It’s even there in your case while you’re tipping the last of one's leftovers into your mouth, still chilly in the fridge, and thinking of A different pay a visit to, in order to re-up on tea-smoked duck and S