⟳ Репост от Rollofthedice
A countermodel need not be uniquely correct to refute □P. It must preserve the definitions, logic, and independent premises genuinely shared by the claim. If it does, the claimant needs an independently warranted reason to exclude it, not merely “my theory declares it inaccessible.”