##article.return## Mapping the SAT/UNSAT Frontier of Sen’s Liberal Paradox at n=2, m=4: An Auditable Possibility Atlas with Proof- and Witness-Carrying Evidence ダウンロード PDFをダウンロード