Tag : IGP tells newly promoted AIGs