observable universe subgroup of universe, 21 assertions