Remove deduction to derivation. Improve UI events.

I'm not sure wether this is deduction or induction.