In 1960 the following transuranide elements were definitely known to exist (atomic numbers are given in parentheses): neptunium (93); plutonium (94); americium (95); curium (96); berkelium (97); californium (98); einsteinium (99); fermium (100); mendeleevium (101).[…]Element 101 — mendeleevium — was prepared in an even smaller quantity: 17 atoms in all.
[T]here is nothing in marble equal to the Venus of Medici, for ſoftneſs and tenderneſs; as there is nothing ſo ſtrong and nervous, as the Hercules Farneſe.
a beleaguered real estate market
Since every locale is of the form mbox Sub_( mathcal )E(1) [subobjects of the terminal object in ℰ] for some topos ℰ, locale theory can be regarded as the fragment of topos theory concerning subobjects of 1. A subobject of 1 is a map 1→𝛺, which can reasonably called a truth value. In that sense, locale theory is the study of truth values.