If the values of ξ are the total values of a function f x for all values of x , then N ( ξ ‾ ) = ~ ( ∃ x ) . f