Links for logic-lang