How We Reason P door Philip Johnson-Laird