ANRP Formal issue 16#08A