future value subgroup of value, 2 assertions