3.3.1 波洛克的可废止推理