ANRP Formal issue 16#07A