Proving AAS