Bolzano's replacement procedure presupposes that ideas have determinate, stable identity conditions ...