ir \ § \4