The Independence Axiom Versus the Reduction Axiom: Must We Have Both?