How We Reason P by Philip Johnson-Laird