On 2010-12-17 16:11, Alan Jeffrey wrote: > Is the skepticism a general one about sets being indexed by a set from > a larger universe, or is it specific to propositional equality? The former. -- /NAD