Search: IfI, bimonoid