entire universe subgroup of universe, 32 assertions