Hi, can anyone please tell me if my MIBCO deductions and MIBCO prov. fund deductions should appear on my IRP5?

Thanks