AIP to formal