Update IRQS.tex