hyper-deduction

超演算