How to use Deduce

"How to use Deduce" is not written yet.