Deduction Dilemmas: The Taiwan Assignment Mechanism