added AFI types (may need correction), proof of AFI_Access