IR$ (Explicit)

IR$ (Explicit)