ANRP Formal issue 16#05B