ideal-logic-plus-combi