Division of Signed numbers may be implemented in the Church encoding, so "f" may be represented by a lambda term. This equation has no solution in the real numbers. But in the domain of the complex numbers "i" and "-i" are solutions. This demonstrates that there may be solutions to an equation in another domain. However, the lambda term for the solution for the above equation is weirder than that. The lambda term formula_6 represents the state where x could be either "i" or "-i", as one value. The information distinguishing these two values has been lost, in the change of domain.