It seems I still left out the condition of disjointness in my formulations of GC and AC. Fixing these increases the number of quantifiers even more. :-} Dr. Matt Insall Associate Professor of Mathematics Department of Mathematics and Statistics University of Missouri - Rolla Rolla MO 65409-0020 insall at umr.edu (573)341-4901