0025880: fuzzy booleans with multiple tools