logic-and-reasoning