ANRP Formal issue 16#01B