If a unified formal system can accommodate both conceptions without positing ontologically distinct ...