Overhaul of numerical abduction, initial commit: specification.