The Case for Correct Logic