Ams1gn Ipa: Verified