Removed faulty "no new information" cutoff from axiom module.