Corrected Grammar and Logic