Rejuvenated numerical abduction: simpler and correct (removed reverting substitutions, added applying transformations derived from atoms included in the answer). Removed outdated citations from documentation.