logic-in-cs