Paradoxes_of_material_implication loading ...