Mathematical statements using symbols may be true only when the symbols are replaced by certain numbers.
No closely related standards have been identified.
