The top documents tagged [bimonoid if1]