Numerical abduction: Conceptual fix, do not include conclusion atoms in transformations. Bug fixes: exception catch clause to handle iterative deepening of rotations; check implication when transforming by inequalities. Experimental: aggressive discarding.