[shinryuu]

The question to me if you can call that deduction in that case. Isn't it just a type of pattern matching that fits this particular task?