 Frege then notes that if the functions \(x^{2} - x\) and \(x \cdot (x - 1)\) map the same arguments to the same values, then the extensions of those two functions are the same, and vice versa. That is, he notes that: