Logical reasoning: various improvements to spelling and correction of errors