What Mach calls a thought experiment is of course not an experiment at all. At bottom it is a grammatical investigation.