ideal-logic-combi