In the Theoretician's Laboratory: Thought Experimenting as Mental Modeling | Synapse