Deductions finished!
Fixes #31