Is Intertheoretic Reduction Feasible? · Study