finish debugging of complex_deduction... , reach final answer