12: You should get

If you decided on the add-subtract approach, you should get

Do not forget to specify the set of validity of this procedure.

Answer