David Edmonds follows the trolley problem through variations that can make the same arithmetic feel morally different. It is a compact way to see what a thought experiment can accomplish. Once you change only one feature of a case, you have to explain why that feature matters.