ANRP Formal issue 16#02B