safe-logic-basic