How We Reason C by Philip Johnson-Laird