Philosophical thought experiments