If mathematical entities were ontologically implicated by explanatory power, replacing one mathemati...