clean up examples/deductions and extend