Links for ir-boolean