Leaky abstractions in the foundations of decision theory