11: You should get

The alternative way goes

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

Answer