ideal-logic-system