ANRP Formal issue 16#08B