Leaky abstractions in the foundations of decision theory (The Reasoner, 2017)