is human," even if I believe falsely that the Phoenix is rational and immortal.
We give the name of "derived extensional function" to the function constructed as above, namely, to the function: "There is a function having the property
and formally equivalent to
," where the original function was "the function
has the property
."