New: logic-force