Why did Resolve[] fall short to verify an announcement whose counter-instance was proven to get nonexistant by FindInstance[]? instances when they spot a solution that does not solution the concern but remains useful for some purpose; this kind of conversions aren't accomplished on request. Moderators can opt to area The solution-converted-to-touc