 This asserts that the extension of the concept that which added to 4 yields 5 is identical to the extension of the concept that which added to \(2^{2}\) yields 5 if and only if all and only the objects that when added to 4 yield 5 are objects that when added to \(2^{2}\) yield 5.