Fixing a bug in aritmathic logic