Logical reasoning improvement