. . . "Logic is a system for making sure that mental models make sense on their own" .