IR -> IRins
IRins -> IR
IRins -> IRp
IRp -> IRiP
IRiP -> IRi
IRp -> IR
IRi -> IR
IRS -> IRSiP
IRSiP -> IRS
X -> Xp
Xp -> X