implemented deleting deductions
Fixes #15
Fixes #16