2007. Why the substitution of co-referential expressions in a statement may result in change of truth-value (concluding part). The Reasoner. 1, 2 (Jun. 2007).