ANRP Formal issue 16#03B