How did Mach describe thought experiments like the bucket argument