 But now, “If Kennedy was shot, then Kennedy was shot” and “\(x^n + y^n = z^n\) has no integer solutions for \(n \gt 2\)” are necessarily equivalent, given the unrestricted necessity of logical and mathematical truths, and SPWS. They are true at the same worlds: all of them. On the Bar-Hillel-Carnap view, one can rule out no world after learning either. But while one easily deems the former true, the latter, which expresses Fermat’s Last Theorem, took centuries to be proved and its proof brought significant news.