possible world subgroup of universe, 1 assertions