add some logic-functions helpers