Tn mathematical logic, however, a policy of extensionality is widely espoused: a policy of admitting statements within statements truth functionally only apart of course from such contexts as quotation, which are referentially opaque).