P35. rename local val.
element -> rental.
this_amount -> result.