A Function Whose Variable Definition