ANRP Formal issue 16#06A