Polynomial-time reducibility preserves decision-problem solvability in principle, but the reduction ...