Bound a fraction I

$val17 $(val8[1;]) $(val8[2;]) .