expanding universe subgroup of universe, 5 assertions