Symbol: F_IAICR